closed graph theorem - German English Dictionary